PDFLATEX=pdflatex
BIBTEX=bibtex

all : meaning-eq.pdf


meaning-eq.pdf : meaning-eq.tex 
	$(PDFLATEX) meaning-eq.tex
	$(BIBTEX) meaning-eq
	$(PDFLATEX) meaning-eq.tex
	$(PDFLATEX) meaning-eq.tex


clean : 
	rm -f *.aux *.dvi *.ps *.log *bbl *blg 
